Corl 2020, Spotlight Talk 347: Learning Certified Control Using Contraction Metric